Stéphanie Delaune And NotFranche-Comté
List of bibliographic references
Number of relevant bibliographic references: 9.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001C92 | Stefan Ciobaca [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Computing knowledge in security protocols under convergent equational theories |
| 001F62 | Céline Chevalier [France] ; Stéphanie Delaune [France] ; Steve Kremer [France] | Transforming Password Protocols to Compose |
| 003095 | Véronique Cortier [France] ; Stéphanie Delaune [France] | Decidability and Combination Results for Two Notions of Knowledge in Security Protocols |
| 004313 | Véronique Cortier [France] ; Stéphanie Delaune [France] | Safely composing security protocols |
| 004B88 | Véronique Cortier [France] ; Jérémie Delaitre [France] ; Stéphanie Delaune [France] | Safely Composing Security Protocols |
| 004C78 | Sergiu Bursuc [France] ; Hubert Comon-Lundh [France] ; Stéphanie Delaune [France] | Deducibility Constraints, Equational Theory and Electronic Money |
| 004C80 | Véronique Cortier [France] ; Stéphanie Delaune [France] | Deciding Knowledge in Security Protocols for Monoidal Equational Theories |
| 004C90 | Mathilde Arnaud [France] ; Véronique Cortier [France] ; Stéphanie Delaune [France] | Combining Algorithms for Deciding Knowledge in Security Protocols |
| 006056 | Véronique Cortier ; Stéphanie Delaune ; Pascal Lafourcade | A Survey of Algebraic Properties Used in Cryptographic Protocols |
| This area was generated with Dilib version V0.6.33. |  |